#include "Wdt.h"
#include "BAT32G133.h"
#include "wdt.h"




void Rst_WDT(void)
{
	WDT_Restart();
}



